Философский энциклопедический словарь - индуктивное определение
Связанные словари
Индуктивное определение
индуктивное определение
— один из способов определения объектов математических и логических систем. Состоит в том, что указываются: а) исходные или элементарные объекты системы; б) правила или операции, позволяющие из имеющихся объектов образовывать новые объекты системы. Т. обр. определяют натуральное число (в арифметике), правильно построенную, а также доказуемую формулы (в логических исчислениях) и др. И. о. должно быть полно, т. е. его средствами должны определяться все объекты данной системы, и только они.
Рейтинг статьи:
См. в других словарях
1.
определение, позволяющее из некоторых исходных объектов теории с помощью некоторых операций строить новые объекты теории. И.о. находят широкое применение в математике, логике и других науках. Примером может быть И.о. натуральных чисел. Исходным объектом здесь будет число 0, исходной операцией "следующее за п", т. е. операция, обеспечивающая переход от числа п к п 1. Она обозначается "&" ("n&" "следующее за n"). И.о. состоит из ряда пунктов: 1) 0 является натуральным числом; 2) если п натуральное число, то п& -натуральное число; 3) никаких натуральных чисел, кроме тех, которые получаются согласно применению пунктов (1) и (2), нет. Таково же определение четного числа. Исходным объектом здесь является число 0, исходной операцией операция прибавления двойки ( 2), И. о. состоит из таких пунктов: 1) 0четное число; 2) если п четное число, то п 2 четное число; 3) никаких (натуральных) чисел, кроме тех, которые порождены применением пунктов (1) и (2), нет. Примером И. о. может быть И. о. формулы в исчислении высказываний. Различают два основных вида И. о.: фундаментальные и нефундаментальные. Фундаментальными называются такие И. о., с помощью...Словарь по логике
Вопрос-ответ:
Похожие слова
Ссылка для сайта или блога:
Ссылка для форума (bb-код):
Самые популярные термины
1 | 2504 | |
2 | 2321 | |
3 | 1991 | |
4 | 1976 | |
5 | 1925 | |
6 | 1830 | |
7 | 1724 | |
8 | 1659 | |
9 | 1641 | |
10 | 1506 | |
11 | 1426 | |
12 | 1387 | |
13 | 1381 | |
14 | 1379 | |
15 | 1251 | |
16 | 1072 | |
17 | 1063 | |
18 | 1060 | |
19 | 1035 | |
20 | 962 |